文章标签
SMT Solver
-
深入 LLVM 混淆：指令替换（Instruction Substitution）的实现细节与对抗思路
在软件安全领域，LLVM 混淆器（如经典的 OLLVM）通过多种手段提升逆向分析的难度。 指令替换（Instruction Substitution） 是其中最基础但又极其有效的一种手段。它并不改变程序的控制流，而是通过将简单的算术或逻...
-
逆向工程进阶：基于 LLVM Pass 与 Z3 SMT Solver 自动化移除不透明谓词
1. 什么是不透明谓词？ 在代码混淆（Code Obfuscation）领域， 不透明谓词（Opaque Predicates） 是一种常用的手段。简单来说，它是一个在程序运行时结果始终固定（永远为真或永远为假）的表达式，但编译器在...